The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems
نویسندگان
چکیده
ions for the Analysis and Verification of Hardware and Software Systems ⋆ Roberto Bagnara , Patricia M. Hill , Enea Zaffanella a Department of Mathematics, University of Parma, Italy School of Computing, University of Leeds, UK
منابع مشابه
Exact join detection for convex polyhedra and other numerical abstractions
Deciding whether the union of two convex polyhedra is itself a convex polyhedron is a basic problem in polyhedral computations; having important applications in the field of constrained control and in the synthesis, analysis, verification and optimization of hardware and software systems. In such application fields though, general convex polyhedra are just one among many, so-called, numerical a...
متن کاملPossibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
The domain of convex polyhedra is employed in several systems for the analysis and verification of hardware and software components. Current applications span imperative, functional and logic languages, synchronous languages and synchronization protocols, real-time and hybrid systems. Since the seminal work of P. Cousot and N. Halbwachs, convex polyhedra have thus played an important role in th...
متن کاملApplications of polyhedral computations to the analysis and verification of hardware and software systems
Convex polyhedra are the basis for several abstractions used in static analysis and computer-aided verification of complex and sometimes mission critical systems. For such applications, the identification of an appropriate complexity-precision trade-off is a particularly acute problem, so that the availability of a wide spectrum of alternative solutions is mandatory. We survey the range of appl...
متن کاملارزیابی مهارت‌های فن‌آوری اطلاعات کتابداران و تبیین عوامل مؤثر بر آن در کتابخانه‌های عمومی شهرستان یزد
Purpose: This research identifies and evaluates the librarians ICT skills, attitudes and factors related their ICT skills. Methodology: Statistical population includes all Yazd public library staffs and a questionnaire used for assessing librarian ICT skills in four main dimensions, including skills in general software, hardware skills, applicative and specialize software skills and communica...
متن کاملWave Motion and Stop-Bands in Pipes with Helical Characteristics Using Wave Finite Element Analysis
Pipes are widely used in many industrial and mechanical applications and devices. Although there are many different constructions according to the specific application and device, these can show helical pattern, such as spiral pipes, wire-reinforced pipes/shells, spring-suspension, and so on. Theoretical modelling of wave propagation provides a prediction about the dynamic behavior, and it is f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Sci. Comput. Program.
دوره 72 شماره
صفحات -
تاریخ انتشار 2008